Automatic Program Annotation
نویسنده
چکیده
Techniques were developed by which an Algol-like program, given together with its specifications, may be documented automatically. This documentation expresses invariant relationships that hold between program variables at intermediate points in the program, and explains the actual workings of the program regardless of whether the program is correct. These techniques, formulated as deduction rules for both guaranteed invariants and candidate invariants, represent a unification of existing approaches, and sometimes improve upon them.
منابع مشابه
Fuzzy Neighbor Voting for Automatic Image Annotation
With quick development of digital images and the availability of imaging tools, massive amounts of images are created. Therefore, efficient management and suitable retrieval, especially by computers, is one of themost challenging fields in image processing. Automatic image annotation (AIA) or refers to attaching words, keywords or comments to an image or to a selected part of it. In this paper,...
متن کاملTags Re-ranking Using Multi-level Features in Automatic Image Annotation
Automatic image annotation is a process in which computer systems automatically assign the textual tags related with visual content to a query image. In most cases, inappropriate tags generated by the users as well as the images without any tags among the challenges available in this field have a negative effect on the query's result. In this paper, a new method is presented for automatic image...
متن کاملA CAD System Framework for the Automatic Diagnosis and Annotation of Histological and Bone Marrow Images
Due to ever increasing of medical images data in the world’s medical centers and recent developments in hardware and technology of medical imaging, necessity of medical data software analysis is needed. Equipping medical science with intelligent tools in diagnosis and treatment of illnesses has resulted in reduction of physicians’ errors and physical and financial damages. In this article we pr...
متن کاملBorehole and Ice Feature Annotation Tool (BIFAT): A program for the automatic and manual annotation of glacier borehole images
We present a stand-alone software platform, Borehole and Ice Feature Annotation Tool (BIFAT), for the examination, annotation and analysis of glacier borehole images. This tool aids in the lengthy and often subjective process of annotating layers and other features in optical and acoustic glacier borehole televiewer logs. Since these view 360◦ around the full circumference of an exploratory bor...
متن کاملAutomatic Detection to the Behavioral Conflict in AOP Application Based on Design by Contract
Behavioral conflict is one of the key issues in the practical application of AOP (Aspect-Oriented Programming) technology. Based on the ideas of design by contract and behavioral subtyping, we propose an approach that detects the behavioral conflict automatically at runtime. Use Java annotation to describe the contracts of the base program and aspect code, then extract these contracts through t...
متن کاملAnnotation of Semantic Relations in Patent Documents
This paper presents the theoretical bases and quantitative results of an activity consisting in manually annotating part-whole and motion relations in patent documents. The aim of this activity was creating a gold standard for the evaluation of an automatic relation extraction tool developed by FBK-irst within the PATExpert project. For this purpose, we took the annotation scheme created for th...
متن کامل